Search results for "Logical truth"
showing 2 items of 2 documents
On Formalizing Logical Modalities
2021
This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semantics of modal logic, when the modal elements are interpreted as logical modalities. Most authors have thought that the logic for logical modality—that is, the one to be used to formalize the notion of logical truth (and other related notions)—is to be found among logical systems in which modalities are allowed to be iterated. This has raised the problem of the adequacy, to that formalization purpose, of some modal schemes, such as S4 and S5 . It has been argued that the acceptance of S5 leads to non-normal modal systems, in which the uniform substitution rule fails. The thesis supported in this…
Truth, Negation and Meaning
2013
‘True’ and ‘False’ are defined through a linguistic rule requiring the negation operator. This is the elaboration of an idea proffered for the first time by the Stoics on the basis of some remarks by Aristotle and then in modern times by Frege and Wittgenstein. Another thesis of this essay is the following: the true/false rule is a sort of UR-Regel underlying all linguistic practices (including prayers and commands) and all human cultures. Reinterpreting the notion of Spielraum put forward by Wittgenstein in 4.463 of the Tractatus, I will present an implicational pragmatic theory of a true proposition. Jokes and reductio ad absurdum are explained as examples of Spielraum.